Parallel algorithm - PDFSEARCH.IO - Document Search Engine

Parallel algorithm
Results: 759

#	Item
311	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Tilting at windmills with Coq: formal verification of a compilation algorithm for parallel moves Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-12-21 03:21:14
312	Improving the Performance of Collective Operations in MPICH Rajeev Thakur and William Gropp Mathematics and Computer Science Division Argonne National Laboratory 9700 S. Cass Avenue Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2003-07-01 18:28:21 Application programming interfaces Message Passing Interface Theoretical computer science MPICH Algorithm Distributed computing Computer cluster Computing Parallel computing Computer programming
313	Parallel Computing 24 Ž–475 Maximizing parallelism and minimizing synchronization with affine partitions 1 Amy W. Lim ) , Monica S. Lam Add to Reading List Source URL: www-suif.stanford.edu Language: English - Date: 1999-03-16 00:31:35 Computer programming Loop optimization Automatic parallelization Data parallelism Degree of parallelism SPMD Algorithm Barrier Scalable parallelism Parallel computing Computing Compiler optimizations
314	PDF Document Add to Reading List Source URL: cogsci.uwaterloo.ca Language: English - Date: 2009-09-14 14:26:57 Distributed computing Strong AI Cognitive science Actor model Algorithm Parallel processing Philosophy of mind Academia Computer Computing Science Parallel computing
315	The Future GenMatch Parallel Algorithms Add to Reading List Source URL: user2007.org Language: English - Date: 2007-09-04 14:51:32 Parallel computing Algorithm Travelling salesman problem C dynamic memory allocation Parallel algorithm Mathematics Computing Applied mathematics
316	UNDERSTANDING and EXPRESSING SCAL ABLE C ONCURRENCY F Aaron Turon April 19, 2013 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-04-27 02:25:22 Data Information Algorithm Communications protocol Thread Parallel computing Computing Concurrent computing Concurrency
317	Automatic Data Distribution for Massively Parallel Computers Alexis Platonoff Centre de Recherche en Informatique, E cole Nationale Superieure des Mines de Paris, 35, rue Saint-Honore, 77305 Fontainebleau Cedex, Franc Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:29:34 Algorithm Control flow Computing Logic Parallel computing Compiler optimizations Array data structure
318	Genetic Algorithm Based Data-Aware Group Scheduling for Big Data Clouds Add to Reading List Source URL: www.cloudbus.org Language: English - Date: 2015-01-13 20:43:48 Parallel computing System administration Transaction processing Cloud infrastructure Apache Hadoop Scheduling MapReduce Computer cluster Job scheduler Computing Concurrent computing Cloud computing
319	Component-Based Lock Allocation Richard L. Halpert Christopher J. F. Pickett Clark Verbrugge School of Computer Science, McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-20 14:38:18 Lock Deadlock Critical section Non-blocking algorithm Parallel computing OpenMP Java Memory Model C dynamic memory allocation Linearizability Concurrency control Computing Computer programming
320	Formal Verification of Programs That Use MPI One-Sided Communication Salman Pervez1 , Ganesh Gopalakrishnan1 , Robert M. Kirby1 , Rajeev Thakur2 , and William Gropp2 1 Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2006-07-13 17:10:38 Computer programming Parallel computing Application programming interfaces Message Passing Interface Transaction processing Deadlock Lock Model checking Non-blocking algorithm Computing Concurrent computing Concurrency control

UPDATE